allowing that although as if as though assuming that assumption axiom conjecture guesswork hypothesis if inference postulate postulation postulatum premise presumption presupposal presupposition proposition set of postulates supposal supposing that supposition surmise thesis though working hypothesis